// Type definitions 